type control

type control
  1. контроль типа

3.3.12 контроль типа (type control): Операция, которая позволяет определить, правильно или нет данное выражение отнесено к определенному типу.

Примечания

1. Выражение отнесено к определенному типу правильно, если тип данных каждого операнда каждого оператора этого выражения соответствует требуемому типу данных.

2. В настоящем стандарте контроль типа обеспечивается ограничениями EXPRESS-схемы.

Источник: ГОСТ Р ИСО 13584-20-2006: Системы автоматизации производства и их интеграция. Библиотека деталей. Часть 20. Логический ресурс. Логическая модель выражений оригинал документа

4.72 контроль типа (type control): Операция, которая позволяет определить, правильно или нет данное выражение отнесено к определенному типу.

Примечание 1 - Выражение отнесено к определенному типу правильно, если тип данных каждого оператора каждого выражения соответствует требуемому типу данных.

Примечание 2 - В настоящем стандарте контроль типа обеспечивается ограничениями EXPRESS-схемы.

Источник: ГОСТ Р 54136-2010: Системы промышленной автоматизации и интеграция. Руководство по применению стандартов, структура и словарь оригинал документа


Англо-русский словарь нормативно-технической терминологии. . 2015.

Смотреть что такое "type control" в других словарях:

  • Control car (rail) — Modern German InterCity Steuerwagen cab car. Rail transpo …   Wikipedia

  • control key — noun (computer science) the key on a computer keyboard that is used (in combination with some other key) to type control characters • Syn: ↑command key • Topics: ↑computer science, ↑computing • Hypernyms: ↑key …   Useful english dictionary

  • Control chart — One of the Seven Basic Tools of Quality First described by Walter A. Shewhart …   Wikipedia

  • Control (Janet Jackson album) — Control …   Wikipedia

  • Control (альбом) — Control …   Википедия

  • Type 45 (Clase Daring) — El HMS Daring saliendo de la Base Naval de Portsmouth País productor …   Wikipedia Español

  • Control Program/Monitor — Pour les articles homonymes, voir CPM. CP/M, sigle de Control Program/Monitor, est un système d exploitation créé par Gary Kildall de Digital Research Inc. Il est utilisé notamment sur les Amstrad CPC, Commodore 128, TRS 80 et BBC Micro. Les… …   Wikipédia en Français

  • Control Myself — Single by LL Cool J featuring Jennifer Lopez from the album Todd Smith …   Wikipedia

  • Type system — Type systems Type safety Inferred vs. Manifest Dynamic vs. Static Strong vs. Weak Nominal vs. Structural Dependent typing Duck typing Latent typing Linear typing Uniqueness typing …   Wikipedia

  • Type 56 assault rifle — Type 56 (top) and AKS 47 Type Assault rifle Place of& …   Wikipedia

  • Control Engineering (magazine) — Control Engineering Type business magazine Owner CFE Media Founded 1954 Language English Headquarters Oak Brook, Illinois, USA …   Wikipedia

Книги

Другие книги по запросу «type control» >>


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»